Skip to content

Conversation

luigigubello
Copy link
Contributor

I have changed the URLs from http to https. In particular the page latest.txt can be reached on both port 80 and port 443.

I have changed the URLs from `http` to `httpst`. In particular the page `latest.txt` can be reached on both port 80 and port 443.
@facchinm facchinm requested a review from cmaglie December 2, 2019 13:59
@gvarisco gvarisco assigned gvarisco and unassigned gvarisco Dec 2, 2019
@gvarisco
Copy link
Contributor

gvarisco commented Dec 2, 2019

LGTM

@gvarisco gvarisco self-requested a review December 2, 2019 16:57
@cmaglie cmaglie merged commit 5c8c353 into arduino:master Jan 8, 2020
@cmaglie cmaglie added this to the Release 1.8.11 milestone Jan 8, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants